141. Advances in linear logic
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic, Symbolic and mathematical ; Congresses. ;
142. Advances in linear logic
پدیدآورنده : / edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Logic, Symbolic and mathematical--Congresses
رده :
QA
,
9
,.
A1
,
L56
,
1995
143. Advances in logic, artificial intelligence, and robotics
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Artificial intelligence ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ; Robotics ; Congresses. ;
144. Advances in logic, artificial intelligence, and robotics :
پدیدآورنده : edited by Jair Minoro Abe and João Inácio da Silva Filho.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Logic, Symbolic and mathematical, Congresses.,Robotics, Congresses.,Artificial intelligence.,Artificial intelligence.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Inteligência artificial (congressos),Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Lógica simbólica (congressos),Robótica (congressos),Robotics.,Robotics.
رده :
Q334
.
C69
2002eb
145. #Advances in logic, artificial intelligence, and robotics
پدیدآورنده : #edited by Jair Minoro Abe and Joao Inacio da Silva Filho
کتابخانه: Central Library of Esfehan University of Technology (Esfahan)
موضوع : Artificial intelligence- Congresses ،Logic, Symbolic and mathematical- Congresses ،Robotics- Congresses
رده :
#
Q
،#.
C69
،#
2002
146. Advances in logic, artificial intelligence and robotics
پدیدآورنده : / edited by Jair Minoro Abe and Jo?uo In??cio da Silva Filho
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Artificial intelligence--Congresses,Logic, Symbolic and mathematical--Congresses,Robotics--Congresses
رده :
Q
,
334
,.
C684
,
2002
147. Advances in logic, artificial intelligence and robotics: LAPTEC 2002
پدیدآورنده : edited by Jair Minoro Abe and Joao Inacio da Silva Filho
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Artificial intelligence -- Congresses,، Logic, symbolic and mathematical - Congresses,، Robotics -- Congresses
رده :
Q
334
.
A39
148. Advances in logic artificial intelligence and robotics LAPTEC 2002
پدیدآورنده :
کتابخانه: Central Library of Shahrekord University (Chaharmahal va Bakhtiari)
موضوع : Artisicial intelligence - Congresses,Logic, Symbolic and mathematical - Congresses
رده :
{
1648
},
a10532fac62a75b806461958d7dac762
149. Advances in logic based intelligent systems
پدیدآورنده :
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Artificial intelligence Congresses,Logic, Symbolic and mathematical Congresses
رده :
Q
،
334
،.
C69
،
2005
150. Advances in logic based intelligent systems :
پدیدآورنده : edited by Kazumi Nakamatsu and Jair Minoro Abe.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Logic, Symbolic and mathematical, Congresses.,Intelligence artificielle, Congrès.,Logique symbolique et mathématique, Congrès.,Artificial intelligence.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Logic, Symbolic and mathematical.
رده :
Q334
.
C69
2005
151. Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas
پدیدآورنده : Su Gao, Steve Jackson, Yi Zhang, editors
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1N67
2004
152. Advances in technological applications of logical and intelligent systems :
پدیدآورنده : edited by Germano Lambert-Torres ... [et al.]
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses,Logic, Symbolic and mathematical, Congresses
153. After Godel : Platonism and rationalism in mathematics and logic
پدیدآورنده : Tieszen, Richard L.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Godel, Kurt Friedrich, 6091-8791,، Logic, Symbolic and mathematical
رده :
QA
9
.
T53A34
154. After Gغodel :Platonism and rationalism in mathematics and logic
پدیدآورنده : Tieszen, Richard L.
کتابخانه: Library of Mofid University (Qom)
موضوع : ، Gغodel, Kurt,، Logic, Symbolic and mathematical
رده :
QA9
.
T54
2011
155. Agent-Based Defeasible Control in Dynamic Environments.
پدیدآورنده : Dov M Gabbay
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.
رده :
Q339
.
D686
2010
156. Alan Turing :
پدیدآورنده : edited by S. Barry Cooper and Jan van Leeuwen
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Turing, Alan,1912-1954,Computer science-- Mathematics,Enigma cipher system,Logic, Symbolic and mathematical,Mathematicians-- Great Britain, Biography
رده :
QA29
.
T8
C65
2013
157. Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic, Symbolic and mathematical. ;
158. Alfred Tarski
پدیدآورنده : Anita Burdman Feferman, Solomon Feferman,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Tarski, Alfred,Logic, Symbolic and mathematical,Logicians- United States- Biography
رده :
QA
.
T32
,
F44
29
2004
159. Alfred Tarski: life and logic
پدیدآورنده : Feferman, Anita Burdman.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Tarski, Alfred,، Logic, Symbolic and mathematical,United States -- Biography ، Logicians
رده :
QA
29
.
T32
F44
2008
160. Alfred Tarski: life and logic
پدیدآورنده : Feferman, Anita Burdman
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Tarski, Alfred,، Logic, Symbolic and mathematical,Biography ، Logicians-- United States
رده :
QA
29
.
T32
.
F44
2004
